Theory of computation - PDFSEARCH.IO - Document Search Engine

Theory of computation
Results: 2087

#	Item
341	PDF Document Add to Reading List Source URL: www.cs.swan.ac.uk Language: English - Date: 2015-05-05 07:12:16 Complexity classes Theory of computation Theoretical computer science Mathematics FO PSPACE P Recursion EXPTIME Low
342	PDF Document Add to Reading List Source URL: www.cs.dartmouth.edu Language: English - Date: 2014-03-05 21:08:38 Theory of computation Theoretical computer science Computational complexity theory Computing Communication Communication complexity Quantum complexity theory Quantum information science Pointer Communications protocol ACC0 Transmission Control Protocol
343	SYSTEMS SECURITY Editors: Patrick McDaniel, \| Sean W. Smith, Beyond Planted Bugs in “Trusting Trust” The Input-Processing Frontier Sergey Bratus, Trey Darley, Michael Locasto Add to Reading List Source URL: langsec.org Language: English - Date: 2014-04-02 21:43:44 Computability theory Theory of computation Models of computation Turing machine Markup languages Parsing Halting problem Software bug Programming language Theoretical computer science Computer science Computing
344	A Lambda Calculus for Real Analysis Paul Taylor1 Andrej Bauer2 1 Department Add to Reading List Source URL: www.paultaylor.eu Language: English - Date: 2009-02-12 12:32:31 Theoretical computer science Theory of computation Functions and mappings Function Computable function Algorithm characterizations Primitive recursive function Mathematics Computability theory Mathematical logic
345	Recursive Session Types Revisited Ornela Dardha∗ School of Computing Science, University of Glasgow, UK Session types model structured communication-based programming. In particular, binary Add to Reading List Source URL: www.dcs.gla.ac.uk Language: English - Date: 2014-07-25 10:12:01 Computability theory Process calculi Π-calculus Theory of computation Function Valuation Logarithm Μ operator Primitive recursive function Mathematics Theoretical computer science Functions and mappings
346	Daniel Delany Theory of ComputationClassifications in Computational Complexity Theory In the theory of computation, one often analyzes “computational problems,” that is, questions Add to Reading List Source URL: cognitiveharmony.net Language: English - Date: 2008-09-30 17:00:23 Complexity classes NP-hard NP-complete NP P versus NP problem P Reduction Decision problem Oracle machine Theoretical computer science Computational complexity theory Applied mathematics
347	Indifferent sets Santiago Figueira∗ Joseph S. Miller† Andr´e Nies‡ Add to Reading List Source URL: www.glyc.dc.uba.ar Language: English - Date: 2009-01-20 10:12:05 Measure theory Normal number Support Computable function Computability theory Theory of computation Mathematics
348	Lowness Properties and Approximations of the Jump Santiago Figueira ∗ Add to Reading List Source URL: www.glyc.dc.uba.ar Language: English - Date: 2007-07-08 19:58:00 Theoretical computer science Mathematical logic Theory of computation Recursion Primitive recursive function Function Μ operator Fixed-point combinator Mathematics Computability theory Functions and mappings
349	Delft University of Technology Software Engineering Research Group Technical Report Series Parse Table Composition Separate Compilation and Binary Add to Reading List Source URL: swerl.tudelft.nl Language: English - Date: 2008-12-30 16:24:40 Compiler construction Computing Parsing Automata theory Models of computation LR parser Formal grammar Parsing table Compiler-compiler Formal languages Programming language implementation Software engineering
350	Computable Real Analysis without Set Theory or Turing Machines Paul Taylor Department of Computer Science University of Manchester UK EPSRC GR/S58522 Add to Reading List Source URL: www.paultaylor.eu Language: English - Date: 2009-02-12 12:33:09 Theory of computation Computability theory Functions and mappings Recursion Function Computable number Compact space Subspace topology Sierpiński space Topology Mathematics General topology

UPDATE